Сборник предназначен ученым, аспирантам и студентам для использования в научной работе и учебной деятельности, а также для всех заинтересованных лиц.

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

A formal neuron has been studied mathematically. The spiking behaviour of a single neuron has been considered and the influence of the other neurons has been replaced by an average activity level. Four different kinds of spiking behaviour are predicted by the model: B (bursts), C (continuous), P (periodic) and S (silent) neurons and several real neurons can be classified within these four categories. Some properties of the spiking neuron are calculated: 1) the time between spikes, 2) the spike train (...) length and 3) the silent time. Because these magnitudes can be measured in the laboratory, an experimental validation of the model is proposed. (shrink)